Evolution of Artifactual Engineering. Abduction Machine Project.

Abduction and Mismatch in Machine Translation

There are a number of quality and correctness issues connected with state-of-the-art machine translation (MT) systems. The rst requirement, which we will not be addressing in this paper, is to produce a correct analysis of the input text, where correctness is de ned by the needs of the particular system. Assuming the correct analysis is found, the next step is search for a correct representatio...

A Three Level Abduction Machine for WordRecognition

Integrating Abduction and Induction in Machine Learning

This paper discusses the integration of traditional abductive and inductive reasoning methods in the development of machine learning systems. In particular, the paper discusses our recent work in two areas: 1) The use of traditional abductive methods to propose revisions during theory re nement, where an existing knowledge base is modi ed to make it consistent with a set of empirical data; and ...

On the Use of Logical Abduction in Software Engineering

In this paper we survey recent work on the use of abduction as a knowledge-based reasoning technique for analysing software specifications. We present a general overview of logical abduction and describe two abductive reasoning techniques, developed from the logic and expert system communities. We then focus on two applications of abduction in software engineering, namely, analysis and revision...

Machine Learning Project

In this dissertation, we examine the machine learning issues raised by the domain of anomaly detection for computer security. The anomaly detection task is to recognize the presence of an unusual and potentially hazardous state within the activities of a computer user, system, or network. “Unusual” is defined with respect to some model of “normal” behavior which may be either hard-coded or lear...